退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:数学归纳法证明自动化
Bundy, Alan;
机译:数学归纳法和英国奇迹的本质一种证明传统观念的数学方法
机译:中学学生对数学归纳的理解:结构特征和证明构建过程
机译:为什么数学归纳的证明通常不能解释
机译:数学中图解的自动化
机译:探索证明建构与数学理解之间的关系:以高中生代数证明建构为例。
机译:扎实的数学认知:使用动作和语言促进数学见解和证明
机译:数学归纳证明的自动化
机译:进行分析的方法,例如汽车工业自动化技术的物理和/或数学模型的信号路径的程序切片,涉及表征确定的输入变量和/或校准参数
机译:软件实现计算机程序功能测试和非回归测试自动化的方法,包括通过表达输入和输出数据存储库之间的逻辑和数学关系的模型来定义测试
机译:验证数学证明的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。